Buy Used and New Peter A. Lindsay Books

FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22-24, 2002 Proceedings: 2391 (Lecture Notes in Computer Science)

by Lars-Henrik Eriksson,Peter A. Lindsay

ISBN 13: 9783540439288

Format: Paperback (625 pages)
Publisher: Springer
Published: 10 Jul 2002

Save for later